…er card grids

The style direction matched demos.network but the details read
machine-generated. This pass makes the graphics and text feel hand-built:

Copy (shared conversation script + both pages):
- Removed every emoji from bubbles, receipt tags and buttons; receipt
  chips now read lowercase mono "receipt" / "payment".
- Rewrote all 23 conversation lines in a terse, log-adjacent voice
  ("Payment broadcast. Transaction hash below.") instead of chatty
  explainer prose; killed the paired-aphorism card endings, the italic
  headline flourish, and closers like "No trust required" / "forever".
- Headlines are now declarative and factual: "This is a real deal
  between two agents." / "A recorded deal between two agents."
- Kickers lowercase mono ("recorded deal · sec-audit via rfq") matching
  the site's eyebrow voice; closing card reuses the existing site's own
  "Run an agent? Get listed." phrasing.

Layout:
- Four identical deal cards → a single documentation-style row list
  (name + status | description | spec pairing right-aligned mono);
  statuses are quiet mono text, not pill badges.
- Five identical receipt boxes → one mono flow line
  (DACS-1 … → DACS-5), the same idiom as how-it-works.
- Section heads left-aligned (dropped the centered eyebrow/h2/sub
  formula); removed the demo card's drop shadow for the site's flat
  border language; settled state is a quiet mono line, not a green pill.

All tested invariants held: typecheck clean, 113/113 tests, build clean.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

- Stage names align with demos.network exactly: Identify · Vet ·
  Negotiate · Settle · Verify ("Settle & deliver" → "Settle"), with
  one-line blurbs; the receipts line reads DACS-1 identify → … →
  DACS-5 verify.
- Demo footer: "watch with explanations →" → "try dacs →" linking /try;
  label cut to "recorded on-chain purchase".
- Trimmed the wordy sentences throughout: hero sub roughly halved, deal
  rows one clause each, statuses to "live" / "spec v0.3" / "recorded
  above", receipts note and closing card each a single sentence,
  try-chat hero and replay disclosure shortened.

Typecheck clean, 113/113 tests.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

…aming

- Nav gains "home" (first entry, pointing at /home-proposal while under
  review; becomes "/" if the proposal is promoted).
- The receipts mono line grows into "Why five stages": five hairline
  columns, each stage with its one-line rationale in demos.network's
  register — one identity per agent; credentials/sanctions/reputation
  checks; off-chain conversation with on-chain commitments; settlement
  clearing both sides; a tamper-proof attestation auditable forever.

Typecheck clean, 113/113 tests.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

- Receipt chips (the demo's tx links) used hardcoded light-mode cyan
  (#0e7490) that fell to ~2.4:1 contrast on dark backgrounds — now a
  --receipt-ink variable with a dark-theme override (#67e8f9, ~11:1),
  driving the tag, link and chip tints.
- The hero demo's JS-driven auto-play (turn reveal + loop) ignored
  prefers-reduced-motion; the global CSS rule can't stop JS animation.
  Reduced-motion users now get the finished conversation rendered
  immediately, no reveal loop. CSS animations were already covered.

Typecheck clean, 113/113 tests.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>